Model Building and Interactive Theory Discovery

نویسندگان

  • Ricardo Caferra
  • Nicolas Peltier
چکیده

We show how our former approach to model building can be extended into a uniied approach to model building and model checking, able to guide the discovery of theories in which a model can be built for a given formula. In contrast with other enumeration approaches used to decide some classes of rst-order formulae, our approach automatically discovers (in the best case) or strongly guides (in the worst case) discovery of such theories. For practical reasons, the method has been developed in resolution style and implemented as an extension of a resolution-based theorem prover, but the same principles can be applied to the connexion method, tableaux : : : and of course the models built by our method can be used by theorem provers based on other calculi. Detailed examples are given for the new notions.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

مقایسه تأثیر سه رویکرد یاد‌دهی ـ یادگیری بر عملکرد یادگیری دانش‌آموزان در درس‌زیست‌شناسی

Present study was designed to investigate the effects of three teaching- learning approaches including discovery, interactive and transmission approaches on the students learning performance in biology lesson. In this quasi- experimental research three experimental groups (N1=60, N2=71, N3=63) were used in order to identify any significant difference between the students learning performance wh...

متن کامل

An Interactive Allocation for Depot-Customer-Depot in a Multi Aspect Supply Chain Network

Supply chain excellence has a real huge impact on business strategy. Building supply chains (SCs) as flexible system represents one of the most exciting opportunities to create value. This requires integrated decision making amongst autonomous chain partners with effective decision knowledge sharing among them. The key to success lies in knowing which decision has more impact on the supply chai...

متن کامل

AN Improved UTD Based Model For The Multiple Building Diffraction Of Plane Waves In Urban Environments By Using Higher Order Diffraction Coeficients

This paper describes an improved model for multiple building diffraction modeling based on the uniform theory of diffraction (UTD). A well-known problem in conventional uniform theory of diffraction (CUTD) is multiple-edge transition zone diffraction. Here, higher order diffracted fields are used in order to improve the result; hence, we use higher order diffraction coefficients to improve a hy...

متن کامل

Applying Data Mining Techniques in Property/Casualty Insurance

This paper addresses the issues and techniques for Property/Casualty actuaries using data mining techniques. Data mining means the efficient discovery of previously unknown patterns in large databases. It is an interactive information discovery process that includes data acquisition, data integration, data exploration, model building, and model validation. The paper provides an overview of the ...

متن کامل

Building a maintenance policy through a multi-criterion decision-making model

A major competitive advantage of production and service systems is establishing a proper maintenance policy. Therefore, maintenance managers should make maintenance decisions that best fit their systems. Multi-criterion decision-making methods can take into account a number of aspects associated with the competitiveness factors of a system. This paper presents a multi-criterio...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1995